Structured programming

Results: 366



#Item
11A* search algorithm / Combinatorial optimization / Game artificial intelligence / Constraint programming / Decomposition method / Binary decision diagram

1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel

Add to Reading List

Source URL: www.ee.ucl.ac.uk

Language: English - Date: 2013-07-05 07:45:59
12Cincom Systems / VisualWorks / Smalltalk / Database / Gemstone / Geographic information system / Data model / Semi-structured data / Object-oriented programming

C HEMNITZ U NIVERSITY OF T ECHNOLOGY Diploma Thesis Management Systems for Geographical Phenomena An Analysis with Special Attention on Cadastral

Add to Reading List

Source URL: www.heeg.de

Language: English - Date: 2012-11-15 09:44:51
13Statistical classification / Dynamic programming / Stochastic control / Computational neuroscience / Reinforcement learning / Loss function / Markov decision process / Artificial neural network / Support vector machine / Expected value / Valuation / Stochastic programming

Inverse Reinforcement Learning through Structured Classification Edouard Klein1,2 LORIA – team ABC Nancy, France

Add to Reading List

Source URL: www.ilhaire.eu

Language: English - Date: 2012-12-24 07:54:32
14Cross-platform software / Concurrent programming languages / Structured storage / NoSQL / Distributed computing architecture / Erlang / Couchbase Server / Go / Chango

Dancing with Big Data Inferno + Disco Disco • Open Source Map Reduce Platform • 50% Erlang, 50% Python (roughly)

Add to Reading List

Source URL: www.erlang-factory.com

Language: English - Date: 2012-03-30 13:46:57
15Software project management / Project management / Agile software development / Management / Software development / Rational Unified Process / Extreme programming / Disciplined agile delivery / Agile management

Empirical Software Engineering manuscript No. (will be inserted by the editor) Agile vs. Structured Distributed Software Development: A Case Study∗ H.-Christian Estler · Martin Nordio ·

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2014-01-31 10:22:16
16Computing / Software engineering / Programming language theory / Parallel computing / ALGOL 68 / Schedule

Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center.

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2011-10-04 10:23:10
17Computing / Artificial intelligence / Machine learning / Graphical models / Structured prediction / Computational statistics / Statistical classification / Conditional random field / Probabilistic programming language / Inference / Artificial neural network / Support vector machine

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2015-04-14 05:42:43
18Software engineering / Computer programming / Computing / Procedural programming languages / PL/I / Subroutine / MAD / C / ALGOL 68 / Hexadecimal / Binary file / PL/SQL

INTRODUCTION TO PL/1 PL/I is a structured language to develop systems and applications programs (both business and scientific). Significant features : v Allows

Add to Reading List

Source URL: www.angelfire.com

Language: English - Date: 2004-12-17 03:44:25
19Software engineering / Computer programming / Computing / Edsger W. Dijkstra / Control flow / Source code / Goto / Structured programming / Label / Spaghetti code / Statement / Considered harmful

An Empirical Study of Goto in C Code from GitHub Repositories Meiyappan Nagappan1 , Romain Robbes2 , Yasutaka Kamei3 , Éric Tanter2 , Shane McIntosh4 , Audris Mockus5 , Ahmed E. Hassan6 1

Add to Reading List

Source URL: www.se.rit.edu

Language: English - Date: 2015-07-15 20:05:57
20Software engineering / Computing / Computer programming / Procedural programming languages / Concurrent programming languages / Object-oriented programming languages / ALGOL 68 / Nm / Determinism / Cilk / D

Automatic Verification of Determinism for Structured Parallelism Martin Vechev IBM T.J. Watson Research Center

Add to Reading List

Source URL: www.srl.inf.ethz.ch

Language: English - Date: 2011-10-05 13:02:44
UPDATE